<?php
// Connect to database.
$lines = file("db_conn.txt");
$connDetails = array();
foreach ($lines as $line_num => $line) {
  $elem = explode("=", $line);
  $connDetails[$elem[0]] = $elem[1];
}

$connection = mysql_connect($connDetails['host'], "pollux" , $connDetails['pwd'])
or die ("could not connect to database");
?>